#ifndef TIMER_H
#define TIMER_H
void install_timer();
#endif

